On Decidability of List Structures

Siberian Mathematical Journal - The paper studies computability-theoretic complexity of various structures that are based on the list data type. The list structure over a structure S consists of...     

Renormalization Group Analysis of Models of Advection of a Vector Admixture and a Tracer Field by a Compressible Turbulent Flow

Theoretical and Mathematical Physics - Using a quantum field theory renormalization group, we consider models of advection of a vector field and a tracer field by a compressible turbulent flow....     

Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false

In 2001, J.-M. Le Bars disproved the zero-one law (that says that every sentence from a certain logic is either true asymptotically almost surely (a.a.s.), or false a.a.s.) for existential monadic second order sentences (EMSO) on undirected graphs. He proved that there exists an EMSO sentence ? such that $\mathsf{P}(G_n??)$ does not converge as $n\to \infty$ (here, the probability distribution is uniform over the set of all graphs on the labeled set of vertices $\{1,\dots ,n\}$). In the same paper, he conjectured that, for EMSO sentences with 2 first order variables, the zero-one law holds. In this paper, we disprove this conjecture.     

Fiber-Matrix-Coupling Agent Interactions in Glass-Fiber-Reinforced Polyethylene Composites Under Gamma Irradiation

Mechanics of Composite Materials - Mixtures of a low density-polyethylene (LDPE) with a nitrile butadiene rubber (NBR), which is used as a coupling agent in polymer composites, were obtained by...     

Interactions of uracil and its derivatives with polyfunctional acids

Russian Chemical Bulletin - The previously obtained experimental and quantum chemical data on the composition, structure, stability, and thermodynamic properties of complexes of uracil and a series...     

TDDFT-modeling of theoretical UV spectra of binuclear sulfur-containing iron nitrosyl clusters and products of their decomposition

Russian Chemical Bulletin - The UV spectra of four binuclear sulfur-containing iron nitrosyl clusters, namely, cationic Fe2{[S(CH2)2NH3]2(NO)4}SO4·2.5H20 and...     

Poisson discretizations of Wiener functionals and Malliavin operators with Wasserstein estimates

This article proposes a global, chaos-based procedure for the discretization of functionals of Brownian motion into functionals of a Poisson process with intensity $\lambda >0$. Under this discretization we study the weak convergence, as the intensity of the underlying Poisson process goes to infinity, of Poisson functionals and their corresponding Malliavin-type derivatives to their Wiener counterparts. In addition, we derive a convergence rate of $O\left({\lambda }^{?1∕4}\right)$ for the Poisson discretization of Wiener functionals by combining the multivariate Chen–Stein method with the Malliavin calculus. Our proposed sufficient condition for establishing the mentioned convergence rate involves the kernel functions in the Wiener chaos, yet we provide examples, especially the discretization of some common path dependent Wiener functionals, to which our results apply without committing the explicit computations of such kernels. To the best our knowledge, these are the first results in the literature on the universal convergence rate of a global discretization of general Wiener functionals.     

Polysilsesquioxanes Containing Superparamagnetic Nanoclusters of Cobalt or Nickel

Theoretical and Experimental Chemistry - A method was developed for the synthesis of ion-coordinated polysilsesquioxanes (OSS-M) by reaction of amphiphilic carboxyl-containing oligosilsesquioxanes...     

CH3NH3PbBr3 Nanocrystals Formed in situ in Polystyrene Used for Increasing the Color Rendering Index of White Leds

Theoretical and Experimental Chemistry - A new method is proposed for the formation of MAPbBr3 nanoparticles in situ in a dispersion of polystyrene in toluene in the absence (MAPbBr3@PS) and...